1

Metamathematics of modal logic

Year:
1974
Language:
english
File:
PDF, 88 KB
english, 1974
2

Spatial logic of tangled closure operators and modal mu-calculus

Year:
2017
Language:
english
File:
PDF, 2.76 MB
english, 2017
3

Erdős Graphs Resolve Fine's Canonicity Problem

Year:
2004
Language:
english
File:
PDF, 265 KB
english, 2004
4

Erdős Graphs Resolve Fine's Canonicity Problem

Year:
2004
Language:
english
File:
PDF, 594 KB
english, 2004
6

The Finite Model Property for Logics with the Tangle Modality

Year:
2017
Language:
english
File:
PDF, 809 KB
english, 2017